Weak aging properties for coherent systems with statistically dependent component lifetimes

As a relevant topic in reliability theory, the preservation of aging properties under the formation of various coherent structures contributes to improving system performance through better structure design and more effective system maintenance. The classical research in this line usually focuses upon coherent systems with independent component lifetimes. Recently, some authors discussed the preservation of IFR, NBU, and DMRL in the setting of dependent component lifetimes. This paper further investigates sufficient conditions for coherent systems with dependent component lifetimes to preserve aging properties including NBUC, NBU (2), DMRL, and their dual versions. Some examples are presented to illustrate coherent structures and typical copula functions fulfilling the present sufficient conditions as well.     

SDL系统与VxWorks集成中的关键技术

SDL是一种规格与描述性语言,非常适合信令与协议软件开发。VxWorks作为一个具有较高性能的、标准的嵌入式系统,在世界各地受到广泛应用。论文对在两者结合过程中所涉及的一些关键技术,如代码生成、集成方式选择、与操作系统接口以及与环境接口等进行了研究。     

基于组成要素的作战体系构建方法研究

针对当前作战体系构建理论研究中的若干问题,提出了基于组成要素的作战体系构建方法,对作战体系进行了模块分解和功能要求分析,得出了基于组成要素构建一般作战体系的框架图,可为同类作战体系构建提供参考。     

大椭圆停泊轨道月球探测器发射窗口运动学约束特性分析及转移轨道快速设计方法

通过分析大椭圆停泊轨道月球探测器发射窗口的运动学约束特性,给出了转移轨道运动学约束对发射窗口的影响规律,进一步明确了在该种情况下月球探测器的发射机会和增加窗口的可能性.并结合发射窗口运动学约束特性,提出了一种基于大椭圆停泊轨道的地月转移轨道快速设计方法.仿真结果验证了大椭圆停泊轨道下探测器发射窗口运动学约束特性分析的正确性,以及转移轨道设计方法的有效性.     

布尔函数的Walsh谱绝对值分布及其性质研究

提出并研究了布尔函数的Walsh谱绝对值分布.指出布尔函数Walsh谱绝对值分布在仿射变换下的不变性,计算了n(n≤5)元布尔函数的Walsh谱绝对值分布,研究了Walsh谱绝对值分布与Walsh谱支撑和Walsh谱中非零取值个数以及其他一些密码学难题的联系,最后研究了布尔函数的Walsh谱绝对值分布的大小.     

改进的Euler方法应用于非线性方程求根

本文通过引入动力系统，将改进的Euler方法应用于非线性方程求根问题，给出非线性方程求根的预估-再校正迭代格式，证明了该格式至少二阶收敛并可以调节参数达到超收敛。最后给出数值实验，数值结果验证了算法的有效性。     

过渡流区圆柱体驻点热流的工程计算

以流动分区的界限为Knudsen数的变化区间,使用线性插值和调节参数进行校正的方法,提出一种计算过渡流区热流的桥函数形式,并且确定了端面迎风的圆柱体的调节参数.使用DSMC方法对计算结果进行验证并与其他形式的桥函数进行比较.结果表明该桥函数在马赫数大于10的情况下,能比较准确地计算驻点热流的值,可以为飞行器初步设计提供一定的参考依据.     

一种新型混合跳频通信技术

文中提出了一种新型混合跳频通信技术,该技术结合传统跳频技术和差分跳频技术,在较窄的频带上采用差分跳频调制,并将该调制信号与另一更宽频带内的慢跳频信号进行混频,最终得到一个跳速高、频带宽的调制信号。接收端解调时,先按照传统跳频解调的方式进行慢跳频的解调,再按照差分跳频解调的方式对信号进行差分跳频解调。这种混合跳频通信技术在提高数据传输速率的同时,也可以很好地改善系统的误码率性能和抗单音干扰性能。     

高精度有限体积格式在三维曲线坐标系下的应用

为了构造在光滑区具有较高分辨率并且可以无振荡捕捉激波的高精度有限体积格式,同时降低格式在模板选择上遇到的困难,基于逐维重构方法,发展了结构网格下的高精度有限体积格式,并将这一格式推广到三维曲线坐标系下,从而可以适应相对复杂外形下的计算。为充分验证格式的有效性,选取一系列典型算例进行计算:在等熵涡输运和二维喷管流动中验证了格式的精度可以达到设计精度;在双马赫反射问题中格式也表现出良好的捕捉激波的能力。数值计算表明,上述格式在曲线网格上具有较高的数值精度和鲁棒的激波捕捉能力,适用于流体力学方程的计算。     

基于ADC方法的复杂武器系统效能评估方法

ADC方法是武器装备效能评估的重要方法之一。传统ADC方法一般将武器系统各个分系统简化为串联系统计算。针对复杂武器系统中各个分系统组成繁多、串并联关系复杂、对作战影响程度不一等特点,对ADC方法进行了优化,使得ADC方法可以针对多并联系统更客观地评估。通过某型武器装备的实际验证,改进后的ADC方法合理可行,可以对复杂武器系统拥有更客观和更全面地评价,可作为其他复杂武器系统效能评估方法的参考。